A Framework for Verifying and Implementing Embedded Systems
نویسندگان
چکیده
We present a framework for the development of embedded systems called Averest. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware and/or software synthesis. Averest can be used for modeling and verifying finite as well as infinite state systems. Thus, Averest is not only well–suited for hardware design, but also for the development of embedded software. In particular, our input language Quartz allows the description of concurrent programs at a high level of abstraction.
منابع مشابه
Designing Competency Model for the Head of Tax groups at Iranian National Tax Administration Based on Qualitative Approach
Implementing comprehensive Tax plan and achieving its goals require human resources system to be in harmony with changing environment. Therefore a unified approach is necessary for designing human resources sub- systems. The purpose of this research is to formulate and design a competency framework for tax group heads. This research is embedded in an interpretative paradigm and follows that res...
متن کاملMoVES - A Framework for Modelling and Verifying Embedded Systems
The MoVES framework is being developed to assist in the early phases of embedded systems design. A system is modelled as an application running on an execution platform. The application is modelled through the individual tasks, and the execution platform is modelled through the processing elements, including the operating systems, and their interconnections. The tasks and processing elements ar...
متن کاملFeature Technology and Ontology for Embedded System Design and Development
In this paper, we present our recent effort on using a feature technology and ontology for embedded systems modeling and design. We present an overview of embedded system design and propose an object-oriented UML modeling approach to representing embedded systems, i.e., open embedded system model (OESM). OESM supports models of embedded system artifacts, components, features, configuration/asse...
متن کاملExploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network interconnects have particular characteristics and thus have different communication requirements. Accordingly, we need to frequently implement new protocol stacks for embedded systems. Implementing new protocol stacks on ...
متن کاملImplementing the National Incident Management System as a Framework for Travel Medicine in Haiti
Introduction: For the past 7 years, a nursing school has conducted biannual medical missions in a virtually inaccessible area in Haiti. Each medical mission team provides primary care, pediatric and gynecological examinations for up to 6 days in the impoverished island nation. Methods: To improve the safety of participants engaged in this humanitarian tra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006